Boston University - Randomness in computing; algorithmic complexity and intractability; foundations of mathematics, computer science and probability; theory of computation; and information theory.
Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description,...